Editorial: Specification-based testing revisited?
نویسندگان
چکیده
منابع مشابه
Teaching Specification-Based Testing
Historically, relatively less emphasis has been placed on software testing in comparison with other activities, such as systems analysis and design, of the software life cycle in an undergraduate computer science or software engineering curriculum. Testing, however, is a common and important technique used to detect program faults. Thus, testing must be taught rigorously to the students. This p...
متن کاملWhen Specification-based Testing Fails
Armando Haeberer made a substantial contribution in translating results from the philosophy of science to software testing. He showed that the limits of the standard methodology of confirming theories, where observations are derived from the theory and hypothesis, are also present in software testing. He strongly criticized Gaudel’s classical approach on test case generation, but also supplied ...
متن کاملEditorial: Patient safety revisited
Once again a recent article in The New York Times(1) has caused angst in the medical physics community because of what appeared to have been incorrect delivery of radiation. Following reporting of the incident, many email messages appeared on list servers written by medical physicists responding to this incident. One of the most vocal of these individuals has been Howard I. Amols, PhD, Chief, C...
متن کاملGuest editorial: vulnerability revisited.
Lady Bertram . . . had been a beauty . . . all her life; and beauty and wealth were all that excited her respect. To know Fanny to be sought in marriage by a man of fortune raised her. . . very much in her opinion. . . . ‘‘Well, Fanny, I have had a very agreeable surprise this morning. I must just speak of it once. . . . I give you joy [i.e., congratulations], my dear niece.’’ . . . Fanny colou...
متن کاملSpecification-Based Testing for CoCasl's Modal Specifications
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an extension of the most popular and most efficient selection method widely used in the algebraic framework, called axiom unfolding, to coalgebraic specifications, using the modal logic provided by the CoCasl specificat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Testing, Verification and Reliability
سال: 2001
ISSN: 0960-0833,1099-1689
DOI: 10.1002/stvr.220